Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
🔤Type Theory
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·1d
🔤Type Theory
Death to Type Classes
jappie.me·29m·
Discuss: Hacker News
🧠Lisp Dialects
Undecidability of Tiling with a Tromino
arxiv.org·2d
🎯Performance Proofs
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
💧Liquid Types
EdgeBERT: I Built My Own Neural Network Inference Engine in Rust
dev.to·1h·
Discuss: DEV
🌀Brotli Internals
[D] Math foundations to understand Convergence proofs?
reddit.com·16h·
Discuss: r/MachineLearning
🎯Performance Proofs
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.com·10h
🔬Optical Physics
Four Theories of Meta
pxlnv.com·7h
📰Content Curation
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·20h
💻Local LLMs
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·19h·
Discuss: Hacker News
📐Mathematical Art
A Positive Lambda: '+[]{}'
stackoverflow.com·7h·
Discuss: Lobsters, Hacker News
⬆️Lambda Lifting
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
🔗Lisp
Personality-Enhanced Social Recommendations in SAMI: Exploring the Role of Personality Detection in Matchmaking
arxiv.org·8h
👤Search Personalization
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
🔗Functional Compilers
A New Type of Computing
news.ycombinator.com·7h·
Discuss: Hacker News
⚛️Information Physics
Categories for Public Health Modeling
johncarlosbaez.wordpress.com·22h
✨Algebraic Effects
A New Method for Estimating P2P Network Size
eli.sohl.com·18m·
Discuss: Hacker News
📊Count-Min Sketch
Kleene's Recursion Theorem
en.wikipedia.org·5d·
Discuss: Hacker News
🔤Type Theory
Characterization of the computed homology and cohomology bases -- technical report
arxiv.org·8h
🌐Computational Topology